Meta-agentic Prisoner's Dilemmas
lesswrong.comยท18h
๐งPLT
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.orgยท1d
๐งPLT
Flag this post
Show HN: Kumi โ a portable, declarative, functional core for business logic
๐formal specification
Flag this post
Comparative Analysis of Discrete and Continuous Action Spaces in Reservoir Management and Inventory Control Problems
arxiv.orgยท1d
๐งPLT
Flag this post
Iโve indexed all Strange Loop conference talks so you can use semantic search to find relevant videos
๐Static Analysis
Flag this post
Unlocking Simplicity: Skeletonizing Boolean Networks for Enhanced Performance by Arvind Sundararajan
๐Static Analysis
Flag this post
EQ-Negotiator: Dynamic Emotional Personas Empower Small Language Models for Edge-Deployable Credit Negotiation
arxiv.orgยท6h
๐งPLT
Flag this post
The Complexity Cliff: Why Reasoning Models Work Right Up Until They Don't
๐formal specification
Flag this post
Understanding multi GPU Parallelism paradigms
๐งPLT
Flag this post
Immutable by Design: The Deep Tech Behind Tigris Bucket Forking
tigrisdata.comยท11h
๐Static Analysis
Flag this post
A QOJ week
๐งPLT
Flag this post
Petri Dish Neural Cellular Automata
๐คAI
Flag this post
Loading...Loading more...